-
1 induction by enumeration
Математика: энумеративная индукцияУниверсальный англо-русский словарь > induction by enumeration
-
2 induction
1) индукция, наведение, индуцирование3) впуск; всасывание4) индукционный•induction by confirmation — мат. конфирмативная индукция
induction by elimination — мат. элиминативная индукция
induction by enumeration — мат. энумеративная индукция
induction from n+1 to n — мат. индукция от n+1 к n
induction on length — мат. индукция по длине (формулы)
-
3 энумеративная индукция
Большой англо-русский и русско-английский словарь > энумеративная индукция
-
4 method
1) метод; приём; способ2) методика3) технология4) система•- accelerated strength testing method-
benching method-
bullhead well control method-
electrical-surveying method-
electromagnetic surveying method-
long-wire transmitter method-
operational method-
rule of thumb method-
straight flange method of rolling beams-
symbolical method-
tee-test method-
testing method-
triangulation method-
value-iteration method -
5 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
6 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule -
7 proof
1) доказательство || являющийся доказательством; доказывающий2) математическая или арифметическая проверка3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- abstract proof
- color proof
- deductive proof
- digital proof
- digital color proof
- direct proof
- direct digital color proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- theoretical proof
- zero-knowledge proof -
8 proof
1) доказательство || являющийся доказательством; доказывающий3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- color proof
- deductive proof
- digital color proof
- digital proof
- direct digital color proof
- direct proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- proof by contradiction
- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- theoretical proof
- zero-knowledge proofThe New English-Russian Dictionary of Radio-electronics > proof
-
9 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
См. также в других словарях:
induction by enumeration — See enumerative induction … Philosophy dictionary
énumération — [ enymerasjɔ̃ ] n. f. • 1488; lat. enumeratio 1 ♦ Action d énumérer. ⇒ compte , dénombrement, recensement. Énumération interminable, ennuyeuse. ⇒ kyrielle, litanie. Faire une longue énumération. Rhét. Figure consistant à énoncer successivement… … Encyclopédie Universelle
induction by simple enumeration — Logical induction by enumeration of all the cases singly • • • Main Entry: ↑induct … Useful english dictionary
Induction — • Induction is the conscious mental process by which we pass from the perception of particular phenomena (things and events) to the knowledge of general truths Catholic Encyclopedia. Kevin Knight. 2006. Induction Induction … Catholic encyclopedia
induction — [ ɛ̃dyksjɔ̃ ] n. f. • XIVe; « suggestion » 1290; lat. inductio 1 ♦ Opération mentale qui consiste à remonter des faits à la loi, de cas donnés (propositions inductrices) le plus souvent singuliers ou spéciaux, à une proposition plus générale. ⇒… … Encyclopédie Universelle
induction — The term is most widely used for any process of reasoning that takes us from empirical premises to empirical conclusions supported by the premises, but not deductively entailed by them. Inductive arguments are therefore kinds of ampliative… … Philosophy dictionary
enumerative induction — noun : inductive verification of a universal proposition by enumeration and examination of all the instances to which it applies called also perfect induction … Useful english dictionary
simple enumeration — See enumerative induction … Philosophy dictionary
Bacon, Francis — (1561–1626) English statesman. As a philosopher of science the first notable example of the empiricist tendency of English thought, but perhaps more importantly the prophet and protector of the dawning scientific revolution. He was a precocious… … Philosophy dictionary
Hempel's paradox — The principle of induction by enumeration allows a suitable generalization to be confirmed by its instances. Thus observation of black ravens should confirm the generalization that all ravens are black. It is also clear that if evidence confirms… … Philosophy dictionary
RÉCURSIVITÉ — Les (semi ) fonctions récursives ont été introduites pour donner un équivalent mathématique à la notion métamathématique intuitive de (semi ) fonction effectivement ou mécaniquement calculable (cf. LOGIQUE MATHÉMATIQUE, chap. 4). Par souci de… … Encyclopédie Universelle